University of Edinburgh School of Informatics - PDFSEARCH.IO - Document Search Engine

University of Edinburgh School of Informatics
Results: 305

#	Item
121	Learning User Simulations for Information State Update Dialogue Systems Kallirroi Georgila, James Henderson, Oliver Lemon School of Informatics, University of Edinburgh, United Kingdom kgeorgil,jhender6,olemon @inf.ed.ac Add to Reading List Source URL: cui.unige.ch Language: English - Date: 2015-06-26 11:04:17
122	A Proof-Centric approach to Mathematical Assistants Lucas Dixon and Jacques Fleuriot School of Informatics, University of Edinburgh, Appleton Tower, Crighton Street, Edinburgh, EH8 9LE, UK Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-09-01 07:28:34 Automated theorem proving Logic Theoretical computer science Mathematical logic Isabelle IsaPlanner Proof assistant Mathematical proof Automated proof checking Rippling Theorem Proof
123	Verified Planning by Deductive Synthesis in Intuitionistic Linear Logic Lucas Dixon and Alan Smaill and Alan Bundy School of Informatics, University of Edinburgh, UK {L.Dixon, A.Smaill, A.Bundy}@ed.ac.uk Abstract Add to Reading List Source URL: www-vvps09.imag.fr Language: English - Date: 2009-08-25 03:10:48
124	The Essence of Form Abstraction? Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop School of Informatics, University of Edinburgh Abstract. Abstraction is the cornerstone of high-level programming; HTML forms ar Add to Reading List Source URL: www.ezrakilty.net Language: English - Date: 2009-06-10 11:42:35
125	GenomeCarver: harvesting genetic parts from genomes to support biological design automation Emily Scher⇤ School of Informatics University of Edinburgh Add to Reading List Source URL: neuronseed.com Language: English - Date: 2014-06-20 15:46:10
126	Distributional Models of Preposition Semantics Colin Bannard School of Informatics University of Edinburgh 2 Buccleuch Place Edinburgh EH8 9LW, UK Add to Reading List Source URL: lingo.stanford.edu Language: English - Date: 2004-07-13 23:02:40 Parts of speech Semantics English grammar Syntax Phrasal verb Preposition and postposition Distributional semantics Grammatical particle Valency Grammatical case Idiom Verb
127	A Statistical Approach to the Semantics of Verb-Particles Colin Bannard School of Informatics University of Edinburgh 2 Buccleuch Place Edinburgh EH8 9LW, UK Add to Reading List Source URL: lingo.stanford.edu Language: English - Date: 2004-07-13 23:02:41 Semantics Parts of speech English grammar Lexical semantics Phrasal verb Principle of compositionality Idiom Lexical item Verb Multiword expression Grammatical particle Copula
128	IsaPlanner 2: A Proof Planner for Isabelle Lucas Dixon and Moa Johansson School of Informatics, University of Edinburgh Abstract. We describe version 2 of IsaPlanner, a proof planner for the Isabelle proof assistant and Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2008-12-03 05:18:38
129	Scheme-based Theorem Discovery and Concept Invention O. Montano-Rivasa , R. McCaslanda , L. Dixona , A. Bundya a School of Informatics, University of Edinburgh, Informatics Forum, 10 Crichton Street, Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-11-08 18:52:08 Automated theorem proving Logic programming Logic in computer science Computability theory Algebraic topology Substitution Unification Lambda calculus Sheaf Scheme Combinatory logic Morphism of algebraic varieties
130	Streaming First Story Detection with application to Twitter Saˇ sa Petrovi´ c School of Informatics University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-11-02 08:53:50

UPDATE